381. Deductive Software Verification – The KeY Book
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبان‌های برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
382. Definition du language algorithmique algol 68
پدیدآورنده : Buffet, J
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Algorithms,، Algol )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
B8
383. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
384. Denotational semantics :
پدیدآورنده : David A. Schmidt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers)-- Semantics.,Langages de programmation-- Sémantique.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Semantik
رده :
QA76
.
7
.
S34
1986
385. Denotational semantics : the Scott-Strachey approach to programming language theory
پدیدآورنده : Stoy, Joseph
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S74
386. Design and implementation of programming languages : proceedings of a DoD Sponsored Workshop, Ithaca, October 1976
پدیدآورنده : edited by John H. Williams and David A. Fisher
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
54
387. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده : edited by John H. Williams and David A. Fisher
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
54
388. Design and implementation of programming languages : proceedings of a DoD sponsored workshop, October, 1976, Ithaca
پدیدآورنده : edited by John H. Williams and David A. Fisher
موضوع : Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
389. Design concepts in programming languages
پدیدآورنده : / Franklyn Turbak and David Gifford
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers)
رده :
QA
,
76
.
7
,.
T845
,
2008
390. Design concepts in programming languages
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Programming languages (Electronic computers) ;
391. Design of very high-level computer languages: a user-oriented approach
پدیدآورنده : Klerer, Melvin
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K58
1991
392. Designing embedded systems with the SIGNAL programming language
پدیدآورنده : / by Abdoulaye Gamatiae
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony
رده :
E-BOOK
393. Designing embedded systems with the SIGNAL programming language
پدیدآورنده : by Abdoulaye Gamatiae
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Embedded computer systems, Programming,Embedded computer systems, Programming, Problems, exercises, etc,Programming languages (Electronic computers),Programming languages (Electronic computers), Problems, exercises, etc,SIGNAL programming language, synchronous languages, Polychrony
رده :
TK
،
7895
،.
E42
,
G35
،
2010
394. Designing systems programs
پدیدآورنده : GAUTHIER,RICHARD L
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER
رده :
QA
76
.
5
.
G35
395. Desing of very high- level computer languages
پدیدآورنده : / melvin Klerer,Klerer Melvin
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Programming language (Electronic Computers)
رده :
QA
76
.
7
.
K58
1991
396. Digital simulation of continuous systems
پدیدآورنده : Chu, Yaohan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Digital Computer simulation,، Programming languages )Electronic computers(
رده :
QA
76
.
5
.
C49
397. Distributed Programmin
پدیدآورنده : / [electronic resource]
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic books,Electronic Data Processing, Distributed Processing,Computers, Systems Architecture, Distributed Systems & Computing
رده :
E-BOOK
398. Dive into Python 3
پدیدآورنده : Mark Pilgrim.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Programming languages (Electronic computers),Python (Computer program language)
رده :
QA76
.
73
.
P98
M375
2009
399. Domain-specific languages /
پدیدآورنده : Martin Fowler
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Domain-specific programming languages,Programming languages (Electronic computers)
رده :
QA76
.
7
.
F687
2011
400. Domain-specific modelin
پدیدآورنده : / Steven Kelly, Juha-Pekka Tolvanen
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Programming languages (Electronic computers),Computer software--Development
رده :
QA
,
76
.
7
,.
K45
,
2008eb
